TU Berlin

Modelle und Theorie Verteilter SystemePublikationen

MTV mit Schwung

Inhalt des Dokuments

zur Navigation

Publikationen

Modeling Consensus in a Process Calculus
Zitatschlüssel DBLP:conf/concur/NestmannFM03
Autor Uwe Nestmann and Rachele Fuzzati and Massimo Merro
Buchtitel CONCUR
Seiten 393-407
Jahr 2003
Link zur Originalpublikation Download Bibtex Eintrag

Zurück

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe